Situation calculus - PDFSEARCH.IO - Document Search Engine

Situation calculus
Results: 55

#	Item
41	BOOK REVIEWS 421 logarithmic gauges and the superiority of the alternate (but equally heuristic) method called "matching in an overlap domain" in this situation. There is a Add to Reading List Source URL: www.ams.org Language: English - Date: 2010-03-29 15:28:19 Ordinary differential equations Partial differential equations Nonlinear system Stefan problem Perturbation theory Wave equation Boundary value problem Alexander Dmitrievich Bruno Literature of phase boundaries Calculus Mathematical analysis Mathematics
42	GENERATING WARNING INSTRUCTIONS BY PLANNING ACCIDENTS AND INJURIES Daniel Ansari and Graeme Hirst1 Department of Computer Science University of Toronto Toronto, Ontario M5S 3G4, Canada Abstract Add to Reading List Source URL: ftp.cs.toronto.edu Language: English - Date: 2003-07-28 13:03:15 Breads Breakfast foods Toaster Knowledge representation Situation calculus Toast Frame problem Nintendo DS Food and drink Cooking appliances Logic programming
43	Journal of Intelligent Information Systems, 19:2, 231–259, 2002 c 2002 Kluwer Academic Publishers. Manufactured in The Netherlands. Hypothetical Temporal Reasoning in Databases∗ MARCELO ARENAS† Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Logical syntax Metalogic Model theory Formal languages First-order logic Situation calculus Frame problem Function Entailment Logic Mathematics Logic programming
44	Journal of Intelligent Information Systems, 10, 253–[removed]c 1998 Kluwer Academic Publishers, Boston. Manufactured in The Netherlands. ° SCDBR: An Automated Reasoner for Specifications of Database Updates Add to Reading List Source URL: web.ing.puc.cl Language: English - Date: 2013-04-26 05:57:02 Theoretical computer science Knowledge representation Logic in computer science Situation calculus Frame problem Prolog Axiom Fluent Database Logic programming Mathematics Mathematical logic
45	Integrating Golog and Planning: An Empirical Evaluation Jens Claßen† and Viktor Engelmann† and Gerhard Lakemeyer† and Gabriele R¨oger‡ † Dept. of Computer Science, RWTH Aachen University, Germany ‡ Add to Reading List Source URL: www.algorithman.de Language: English - Date: 2011-11-24 05:07:56 Action language Situation calculus STRIPS Planner Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
46	10 A Logic-based Calculus of Events ROBERT KOWALSKI and MAREK SERGOT 1 Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2006-07-10 08:53:49 Theoretical computer science Knowledge representation Logic in computer science Event calculus Frame problem Situation calculus Function Calculus Temporal logic Logic programming Mathematics Mathematical logic
47	An Agent Language with Destructive Assignment and Model-Theoretic Semantics Robert Kowalski and Fariba Sadri Department of Computing, Imperial College London, 180 Queens Gate, London SW7 2AZ {rak, fs}@doc.ic.ac.uk Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2010-06-19 04:56:36 Mathematics Abductive logic programming Frame problem Prolog Action selection Event calculus Predicate Atomic sentence Situation calculus Logic Logic programming Mathematical logic
48	Towards a Logic-based Production System Language Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2011-08-20 04:15:20 Logic Prolog Futures and promises Frame problem Abductive logic programming Predicate Situation calculus Operational semantics Event calculus Logic programming Mathematical logic Theoretical computer science
49	Temporal Logical Filtering – Preliminary Results ** DRAFT October 16, 2002 Eyal Amir Computer Science Division University of California at Berkeley Add to Reading List Source URL: www.cs.berkeley.edu Language: English - Date: 2002-11-26 01:07:16** Mathematical logic Knowledge representation Interpretation Philosophy of language Philosophy of mind Semantics Situation calculus Action description language Frame problem Logic Mathematics Logic programming
50	Change of Variable in Limits Introduction and notation. Throughout this problem set we consider the situation f (a) = b, Add to Reading List Source URL: www.swarthmore.edu Language: English - Date: 2007-01-28 10:59:10 Calculus Continuous function Functions and mappings Hopf algebra Group homomorphism Mathematical analysis Mathematics Operator theory